VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
Edinburgh proof assistant
not found. Suggestions:
ML
Logic for Computable Functions
metalanguage
intuitionistic logic
POP-1
proof
Baroque
POP-2
University of Edinburgh
COWSEL